Μ operator

Results: 274



#Item
11Markov processes / Markov chain / Μ operator

A regeneration proof of the central limit theorem for uniformly ergodic Markov chains By AJAY JASRA Department of Mathematics, Imperial College London, SW7 2AZ, London, UK and

Add to Reading List

Source URL: probability.ca

Language: English - Date: 2007-11-16 14:15:52
12Method of characteristics / Μ operator / Fluid dynamics / Spectral theory of ordinary differential equations / Cnoidal wave / Mathematical analysis / Symbol / Calculus

Well-Posedness of Initial Value Problems for Functional Differential and Algebraic Equations of Mixed Type H. J. Hupkes a,∗ E. Augeraud-V´eron b a

Add to Reading List

Source URL: www.parisschoolofeconomics.eu

Language: English - Date: 2012-12-19 17:18:00
13Function / Μ operator / Meijer G-function / Mathematics / Mathematical analysis / Operator theory

Discussion Paper SeriesOn the Continuous and Smooth Fit Principle for Optimal Stopping Problems in Spectrally Negative Lévy Models Masahiko Egami and Kazutoshi Yamazaki

Add to Reading List

Source URL: www-csfi.sigmath.es.osaka-u.ac.jp

Language: English - Date: 2011-11-01 04:59:30
14Μ operator / Punctuation / SQL / Data management / Notation / Computing / FO / Finite model theory

Proceedings Template - WORD

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-08-06 20:08:32
15Function / XTR / Computability theory / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Functions and mappings

Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3

Add to Reading List

Source URL: certicrypt.gforge.inria.fr

Language: English - Date: 2013-06-17 13:32:36
16Differential equations / Laplace transform / Transforms / Fluid queue / Spectral theory of ordinary differential equations / Μ operator / Mathematical analysis / Fourier analysis / Mathematics

Applied Probability Trust (22 April 2004) ´ SCALE FUNCTIONS OF LEVY PROCESSES AND BUSY PERIODS OF FINITE CAPACITY M/GI/1 QUEUES

Add to Reading List

Source URL: ece.uwaterloo.ca

Language: English - Date: 2004-04-22 02:33:54
17Wigner quasi-probability distribution / Wave function / Momentum / Operator / Adiabatic theorem / Partial differential equation / Landau–Zener formula / Hamiltonian / Physics / Quantum mechanics / Μ operator

Single switch surface hopping for molecular dynamics with transitions Clotilde Fermanian Kammerer∗ Laboratoire d’Analyse et de Math´ematiques Appliqu´ees, UMR 8050, Universit´e Paris Est, 94010 Cr´eteil, France

Add to Reading List

Source URL: www-m3.ma.tum.de

Language: English - Date: 2010-05-06 15:36:51
18Automated theorem proving / Logic programming / Unification / Function / Expected value / Integration by substitution / First-order logic / Μ operator / Mathematics / Mathematical logic / Functions and mappings

Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-11-13 08:55:05
19Probability theory / Representation theory / Integration by substitution / Symbol / Differential geometry / Operator theory / Spectral theory / Μ operator / Spectral theory of ordinary differential equations / Mathematical analysis / Mathematics / Characteristic function

JMLR: Workshop and Conference Proceedings 34:124–138, 2014 Proceedings of the 12th ICGI Maximizing a Tree Series in the Representation Space Guillaume Rabusseau

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2014-08-26 06:56:50
20Models of computation / Denotational semantics / Logic in computer science / Μ operator / CQL / NDepend / Stack / Stream / Relational algebra / Computing / Theoretical computer science / Software engineering

A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2010-03-22 18:17:38
UPDATE